Modeling Scientic Theories as PRISM Programs Taisuke SATO1 Abstract. PRISM is a new type of symbolic-statistical modeling language which integrates logic programming and learning seamlessly2. It is designed for the symb

Source URL: rjida.meijo-u.ac.jp

Supporting Stakeholders in the MDA Process Keith Phalp, Sheridan Jeary, Jonathan Vincent, John Mathenge Kanyaru, & Simon Crowle Software Systems Modelling Group, Bournemouth University, Poole, Dorset. BH12 5BB

Source URL: vide.tnmsoft.de

• Software engineering
• Unified Modeling Language
• Systems engineering
• Computing
• Engineering
• Model-driven architecture
• Objecteering
• Business requirements
• Platform-specific model
• Object Process Methodology
• Business analyst
• Enterprise Architect

The Stan Modeling Language Stan Hamiltonian Monte Carlo Modeling

Source URL: mlss2014.hiit.fi

Software and System Engineering for Cyber-Physical Systems: technical challenges and collaboration opportunities 26 January 2016 – IRIT Toulouse http://www.cpse-labs.eu/news_item6.php Workshop goals

Source URL: www.erts2016.org

• Engineering
• Computing
• Technology
• Computer systems
• Systems engineering
• Cyber-physical system
• Systems Modeling Language
• Internet of things
• Object Process Methodology
• Computer security
• Model-based testing
• Systems design

S o f t w a r e T e c h n o l o g i e s VIsualize all moDel drivEn programming The VIDE project is to improve methodologies and tools for application

Source URL: vide.tnmsoft.de

• Unified Modeling Language
• UML tool
• Objecteering
• Fourth-generation programming language
• Software development
• Model-driven architecture

Hierarchical Bayesian Modeling with Ensemble MCMC Bayesian Computing for Astronomical Data Analysis 2014 Eric Ford Preparation For this lab, we’ll use the Julia programming language. We strongly encourage you to use th

Source URL: astrostatistics.psu.edu

An Empirical Study of Smoothing Techniques for Language Modeling Stanley F. Chen and Joshua Goodman TR-10-98

Source URL: www.speech.sri.com

• Statistics
• Probability
• Language modeling
• Statistical natural language processing
• Categorical data
• Markov models
• Statistical theory
• N-gram
• Language model
• Additive smoothing
• KneserNey smoothing
• GoodTuring frequency estimation

Dr.  Markus  Völter  (Voelter)   Born Degree February 14, 1974 in Heidenheim, Germany

Source URL: voelter.de

• Object-oriented programming
• Systems engineering
• Unified Modeling Language
• Software development process
• Software development
• Model-driven software development
• Domain-specific language
• Model-driven engineering
• OOPSLA
• Component-based software engineering
• Software design pattern
• Software language

Distributed Representations of Words and Phrases and their Compositionality Tomas Mikolov Google Inc. Mountain View

Source URL: papers.nips.cc

• Artificial neural networks
• Artificial intelligence
• Learning
• Machine learning
• Computational linguistics
• Computational neuroscience
• Language modeling
• Word2vec
• Word embedding
• Deep learning
• Softmax function
• Language model

Impact of Legal Interpretation on Business Process Compliance Sepideh Ghanavati∗ and Joris Hulstijn† ∗ Luxembourg Institute of Science and Technology, Luxembourg,

Source URL: homepage.tudelft.nl

• Software requirements
• Financial accounting
• Auditing
• Accounting
• Computer file formats
• XBRL assurance
• XBRL
• Goal-oriented Requirements Language
• SIE
• Traceability
• Extended Enterprise Modeling Language
• Regulatory compliance